Section: Dissemination
Promoting Scientific Activities
Scientific Events: Organisation
Member of the Organizing Committees
Yves Bertot and Maxime Dénès organized the Coq User and Developer workshop in Sophia Antipolis, June 3–7, 2019.
Scientific Events: Selection
Member of the Conference Program Committees
Enrico Tassi was a member of the PC for PADL and LFMTP. Benjamin Grégoire was a member of the PC for latincrypt and PriSC. Cyril Cohen was a member of the PC for CICM. Yves Bertot was a member of the PC for ITP.
Reviewer
Benjamin Grégoire: Conference on Computer and Communication Security (CCS), Certified Programs and Proofs (CPP), Interactive Theorem Proving (ITP). Cyril Cohen: LICS.
Journal
Reviewer - Reviewing Activities
Laurent Théry: Journal of Automated Reasoning, Science of Computer Programming, Formal Aspects of Computing. Cyril Cohen: MSCS (Journal on Mathematical Structures in Computer Science), Journal of Automated Reasoning, Theoretical Computer Science, Information Processing Letters.
Invited Talks
Enrico Tassi gave talks at the Coq developer Working Group on the migration of the package index from opam v1 to opam v2 and at the Coq workshop on the improvements to SSReflect in Coq 8.10 (with E. Martin-Dorel from the University of Toulouse). He also gave a talk in the seminar of the Inria Parsifal project-team on synthesizing proved equality tests.
Benjamin Grégoire gave an invited talk at PriSC (Principles of Secure Compilation) in January 2019.
Cyril Cohen gave a talk at the Lean Together meeting in 2019, on using unification hints.
Scientific Expertise
Yves Bertot is a member of the steering committee for the Inria-Nomadic Labs collaboration.
Yves Bertot is a member of the steering committee for the ITP series of conferences.
Yves Bertot was a member of the hiring committee for an associate professor at ENSIIE (Ecole Nationale Supérieure d'Informatique pour l'Industrie et l'Entreprise) in Evry, France.
Research Administration
Benjamin Grégoire is a member of the CUMI committee facilitating communication between IT services, administrative services, and researchers at Inria.
Yves Bertot was coordinator for the evaluation of the theme “Proof and verification” in March 2019. This work involved polling 13 heads of Inria project teams for names of international experts, selecting an appropriate panel, and attributing a small group of experts to each project-team.